(previously: Felix Wellen)
Formalizing Cartan Geometry in Modal Homotopy Type Theory
PhD Thesis
HoTT-Agda code: DCHoTT-Agda.
On modal homotopy type theory (such as concerning homotopy n-types/n-truncation modality and covering spaces):
On synthetic algebraic geometry:
Felix Cherubini, Thierry Coquand, Matthias Hutzler, A Foundation for Synthetic Algebraic Geometry (2023) [arXiv:2307.00073]
Felix Cherubini, A Foundation for Synthetic Algebraic Geometry, talk at Homotopy Type Theory Electronic Seminar Talks (Oct 2023) [slides:pdf, video:YT]
On projective spaces in synthetic algebraic geometry:
Last revised on May 24, 2024 at 05:25:10. See the history of this page for a list of all contributions to it.